$\forall$$A$, $B$:Type, $f$, $g$:($A$$\rightarrow$$B$). ($\forall$$x$:$A$. Stable\{$f$($x$) = $g$($x$)\}) $\Rightarrow$ Stable\{$f$ = $g$\}